Church's thesis and its epistemological status

Church ’ s thesis and its epistemological status Roman Murawski

The aim of this paper is to present the origin of Church’s thesis and the main arguments in favour of it as well as arguments against it. Further the general problem of the epistemological status of the thesis will be considered, in particular the problem whether it can be treated as a definition and whether it is provable or has a definite truth-value. 1. Origin and various formulations of Chu...

Church ’ s thesis and its epistemological status Roman

The aim of this paper is to present the origin of Church’s thesis and the main arguments in favour of it as well as arguments against it. Further the general problem of the epistemological status of the thesis will be considered, in particular the problem whether it can be treated as a definition and whether it is provable or has a definite truth-value. 1. Origin and various formulations of Chu...

UMCS Informatica AI 2 ( 2004 ) 57 - 70 Annales UMCS Informatica Lublin

The aim of this paper is to present the origin of Church’s thesis and the main arguments in favour of it as well as arguments against it. Further the general problem of the epistemological status of the thesis will be considered, in particular the problem whether it can be treated as a definition and whether it is provable or has a definite truth-value. 1. Origin and various formulations of Chu...

Church's Thesis Meets Quantum Mechanics

| \Church's thesis" is the notion that any \reasonable physical system" may be \simulated" by a Turing machine. The \strong" Church's thesis adds \...with at most polynomial slowdown." The \in-termediate" Church's thesis (my own invention) instead says \...with at most polynomial ampliication of memory-space requirements." (All the terms in quotes need to be deened.) In your favorite set of phy...

Church's thesis and its relation to the concept of realizability in biology and physics.